University of Manchester

Results: 1471



#Item
371

Pure Inductive Logic, Workshop Notes for Progic 2015 Jeff Paris School of Mathematics The University of Manchester Manchester M13 9PL

Add to Reading List

Source URL: www.maths.manchester.ac.uk

Language: English - Date: 2015-04-10 11:19:26
    372

    The Axiomatic Translation Principle for Modal Logic RENATE A. SCHMIDT University of Manchester and ULLRICH HUSTADT

    Add to Reading List

    Source URL: project.kjsmith.net

    Language: English - Date: 2008-03-22 07:19:03
      373

      A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI Mohammad Khodadadi, Renate A. Schmidt, and Dmitry Tishkovsky? School of Computer Science, The University of Manchester, UK Abstract The

      Add to Reading List

      Source URL: ceur-ws.org

      Language: English - Date: 2013-07-16 09:32:31
        374

        A note on ∗-conditioning J.B.Paris School of Mathematics The University of Manchester Manchester M13 9PL jeff

        Add to Reading List

        Source URL: www.maths.manchester.ac.uk

        Language: English - Date: 2014-09-08 08:03:10
          375

          CS3192 Section 1 Slides for some solutions Andrea Schalk Department of Computer Science, University of Manchester CS3192 Section 1 – p. 1/7

          Add to Reading List

          Source URL: www.cs.man.ac.uk

          Language: English - Date: 2004-10-18 07:24:29
            376

            Tom Mulvey, The world of electron microscopy has lost one of its most colourful and well-loved figures. Born in Manchester, Tom Mulvey took a first degree in engineering at Manchester University, before joining

            Add to Reading List

            Source URL: www.ifsm.info

            Language: English - Date: 2014-01-03 10:47:48
              377

              No Syllogisms for the Numerical Syllogistic Ian Pratt-Hartmann School of Computer Science, University of Manchester, Manchester M13 9PL, U.K.

              Add to Reading List

              Source URL: www.cs.man.ac.uk

              Language: English - Date: 2009-05-25 00:54:33
                378

                K-Theory of Inverse Semigroups Alistair R. Wallis Supervisor: Mark V. Lawson Heriot-Watt University 24 July 2013

                Add to Reading List

                Source URL: www.maths.manchester.ac.uk

                Language: English - Date: 2013-07-25 14:44:38
                  379

                  Homotopy-initial W-types Nicola Gambino University of Palermo Joint work with Steve Awodey and Kristina Sojakova Manchester, Logic Colloquium 2012

                  Add to Reading List

                  Source URL: www.cl.eps.manchester.ac.uk

                  Language: English - Date: 2014-06-13 10:48:35
                    UPDATE